841. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
Author: Christian Herde ; With a foreword by Martin Fränzle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
Classification :
QA76
.
9
.
A96
H47
2011
842. Elementary mathematical and computational tools for electrical and computer engineers using MATLA
Author: / Jamal T. Manassah
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: MATLAB.,Electrical engineering--Mathematics,Computer science--Mathematics
Classification :
TK
,
153
,.
M362
,
2001
843. Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
Author: / Jamal T Manassah
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: MATLAB.,Electrical engineering--Mathematics.,Computer science--Mathematics.
Classification :
TK153
844. Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
Author: / Jamal T. Manassah
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MATLAB,Electrical engineering, Mathematics,Computer science, Mathematics
Classification :
TK153
.
M362
2001
845. Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
Author: / Jamal T. Manassah
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Electric engineering- Mathematics,Computer science- Mathematics,MATLAB
Classification :
TK153
.
M362
846. Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
Author: / Jamal T. Manassah
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: MATLAB,Electrical engineering -- Mathematics,Computer science -- Mathematics
Classification :
CD1743-31
847. Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: MATLAB ; Electrical engineering ; Mathematics ; Computer science ; Mathematics ;
848. Elementary mathematical and computational tools for electrical and computer engineers using MATLAB /
Author: Jamal T. Manassah
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATLAB,Computer science-- Mathematics,Electrical engineering-- Mathematics
Classification :
TK153
.
M362
2007
849. Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
Author: Jamal T. Manassah
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Electrical engineering - Mathematics,Computer science - Mathematics,MATLAB
Classification :
TK
,
153
,.
M362
850. Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
Author: / Jamal T. Manassah
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electric engineering,Computer science,-- Mathematics,-- Mathematics
Classification :
510
.
2462
M267E
2001
851. Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
Author: Manassah, Jamal T.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics ، Electric engineering,Mathematics ، Computer science
Classification :
TK
153
.
M362
2001
852. Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
Author: / Jamal T. Manassah
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MATLAB,Electrical engineering , Mathematics,Computer science , Mathematics
Classification :
E-BOOK
853. Elsevier's dictionary of computer science and mathematics :
Author: compiled by K. Peeva and B. Delijska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Dictionaries.,Dictionaries, Polyglot.,English language, Dictionaries-- Polyglot.,Mathematics, Dictionaries.,Anglais (Langue), Dictionnaires polyglottes.,Dictionnaires polyglottes.,Informatique, Dictionnaires polyglottes.,Mathématiques, Dictionnaires polyglottes.,Computer science.,Dictionaries, Polyglot.,Dictionnaires.,English language.,Informatica.,Informatique-- Dictionnaires polyglottes.,Informatique.,Mathematics.,Mathématiques-- Dictionnaires polyglottes.,Mathématiques.,Wiskunde.
Classification :
QA76
.
15
.
D44313
1995
854. Elsevier s dictionary of computer science and mathematics : in English, German, French, and Russian
Author: Delijska, Boriana.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Dictionaries , Mathematics - Dictionaries , English language - Dictionaries - Polyglot , Dictionaries, Polyglot
Classification :
QA
76
.
15
.
D443
1995
855. Emotional cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp
Author: Perlovsky, Leonid I.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Neural networks )Computer science(,Data processing ، Engineering mathematics,، Computer algorithms,، Electronic books
Classification :
QA
76
.
87
.
P47
856. Encyclopedia of Distance
Author: / by Michel Marie Deza, Elena Deza
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science, Mathematics,Visualization,Geometry,Global differential geometry,Topology,Engineering mathematics,Electronic books
Classification :
E-BOOK
857. Encyclopedia of applied and computational mathematics
Author: edited by Björn Engquist
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Encyclopedias,Computers, Encyclopedias,Engineering mathematics, Encyclopedias,Mathematics, Encyclopedias,Physics, Encyclopedias
Classification :
QA71-90
858. Engineering Mathematics
Author: S.S.Sastry
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Engineering Mathematics,Computer science, Mathematics,Combinatorial analysis
Classification :
620
,.
00151
,.
T67
,
2006
859. Ensembles ordonnaes fini
Author: / Nathalie Caspard, Bruno Leclerc, Bernard Monjardet
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Ordered sets.,Computer science--Mathematics,Knowledge representation (Information theory),Operations research.
Classification :
QA
,
171
.
48
,.
C37
,
2007
860. Ensembles ordonnés finis :
Author: Nathalie Caspard, Bruno Leclerc, Bernard Monjardet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Knowledge representation (Information theory),Operations research.,Ordered sets.,Ensembles ordonnés,Informatique-- Mathématiques,Recherche opérationnelle,Représentation des connaissances,Computer science-- Mathematics.,Knowledge representation (Information theory),MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Operations research.,Ordered sets.
Classification :
QA171
.
48
.
C37
2007eb
